Issue2642.agda:5,5-6,6
Duplicate field F in record
when scope checking the declaration
  record R where
    field
      F : Set
      F : Set
